Logic in Computer Science: Modelling and Reasoning about Systems science learning and teaching is easy

learning and teaching is easy

Decisions and planning by A

The work is imbued with powerful biblical imagery and grew into a classic anti-slavery book in which Douglass carefully shaped his life story and image

adviseur en samenwerkingspartner

Work: Supports professional communication skills

Logic in Computer Science: Modelling and Reasoning about Systems science learning and teaching is easyModelling and Reasoning about Systems van Michael Huth is een studieboek over formeel redeneren binnen de computerwetenschap. Het richt zich op methoden voor het modelleren, specificeren en verifiren van systemen met een focus op formele technieken en model checking. Deze tweede editie biedt een grondige introductie in formeel redeneren, aangepast aan de actuele behoeften van de informatica. De tekst is uitgebreid met nieuwe en uitgebreide